Search Results
Clément Pit-Claudel: Extensible Extraction of Efficient Imperative Programs with Foreign … (IJCAR B)
[POPL 2021] CoqPL: Automated Synthesis of Verified Firewalls
[POPL 2021] CoqPL: An experience report on writing usable DSLs in Coq
Untangling Mechanized Proofs
[PLARCH23] Hardware Verification of Timing Side Channel Freedom in the Spectre Era
Computer Science: Is Terra the only system programming language able to compile code at runtime?
The Essence of Bluespec - A Core Language for Rule Based Hardware Design
PIT 2015 :Laurent Boulade / Clément Forget
![[POPL 2021] CoqPL: Automated Synthesis of Verified Firewalls](https://img.youtube.com/vi/hECrYkPdbK0/hqdefault.jpg)
![[POPL 2021] CoqPL: An experience report on writing usable DSLs in Coq](https://img.youtube.com/vi/WQt0fGxr_as/hqdefault.jpg)
![[PLARCH23] Hardware Verification of Timing Side Channel Freedom in the Spectre Era](https://img.youtube.com/vi/ZLdtrE0osrw/hqdefault.jpg)
